How can we be certain that software is reliable? Is there any method that can verify the correctness of software for all cases of interest? Computer scientists and software engineers have informally assumed that there is no fully general solution to the verification problem. In this paper, we survey approaches to the problem of software verification and offer a new proof for why there can be no general solution.

Over the last few years there seems to have been a sharp increase in the number of books that want to spread the news that economics is, or at least can be, fun. This paper sets out to explain in what senses economics is supposed to be fun. In particular, the books in what I will call the economics-made-fun genre will be compared first with papers and books written by economists with the explicit intent of making fun of economics. Subsequently, (...) it will be examined whether or not it makes sense to accuse books in the economics-made-fun genre of economics imperialism, as some commentators have recently done. (shrink)

Mark Blaug and I agree that if there is a realist interpretation of economic behavior to be discerned in Friedman, it is to be found not in Friedman's belief that the profit motive overrides other possible motives, but in his belief that a selection mechanism is working in competitive markets. Our joint sympathy for evolutionary economics is largely based on a conviction that the conception of competition as a dynamic evolutionary process is rather plausible. We disagree, however, on two issues: (...) first, how important the evolutionary conception was for Friedman's overall argument; and, second, whether we can learn something about the real world from rigorous formal analytical models. In this article, I explain and argue for my position on these two issues, and use Nelson and Winter's theory of evolutionary economics to support an illustrate my argument. (shrink)

Many forays have been made by psychoanalysts into the aesthetic realm, particularly in the form of interpretations of works of art and discussions of the particular or general pathology that may predispose individuals toward artistic creativity. Likewise, occasional philosophers have commented on the usefulness of psychoanalysis as a way of approaching areas of mutual interest. This study aims to contribute to this ongoing interdisciplinary dialogue, primarily through a focus on pathography, the term and method originated by Freud in his 1910 (...) monograph on Leonardo da Vinci. ;The thesis begins with an attempt to establish grounds for a dialogue between aesthetics and psychoanalysis by offering a selective review of the literature, identifying three fundamental problems in aesthetics and three basic approaches within psychoanalytic theory, and presenting a discussion of the application of these three modes of psychoanalytic thought to problems of form and content in modern art. ;Next, it is established that pathography, which attempts to probe associations between works of art and the minds that created them, derives from the nineteenth century critical tradition to which Freud was heir. Pathography is subjected to a critique in terms of the ongoing debate in aesthetics concerning problems of intention and expression; finally, its special contributions and limitations are explored. Three models of pathography are presented in detail. Each model with its differing context, motive for interpretation and methodology is scrutinized from an interdisciplinary perspective. ;Beyond pathography, we consider finally the contribution of several post-Freudian theorists who have emphasized the importance of preoedipal development and illuminated certain more general problems of aesthetic interest, i.e., issues centering on response to works of art, creativity and the importance of the external object. The possibility of a developmental line for aesthetic experience is considered, and relevant contemporary infant research is summarized. ;The Appendix offers, beyond pathography, yet another approach of psychoanalysis to art in which the work of art is considered sui generis, not, as in pathography, tied inextricably to the mind of its creator. A statement concerning the vicissitudes of interdisciplinary scholarship concludes the study. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A Response to Lawrence Ferrara’s Chapter Four in R. Phelps, R. Sadoff, E. Warburton, and L. Ferrara, A Guide to Research in Music Education, 5th Edition (Lanham, Maryland: Scarecrow Press, Inc., 2005)Jack HellerIt is curious that Lawrence Ferrara disagrees with Jack Heller and Edward. J. P. O'Connor's view1 that "philosophy" is not "research," yet in the chapter headings in the book A Guide to Research in Music (...) Education, 5th Edition, Chapter 4 is labeled "Philosophical Inquiry," while other chapters are labeled "Qualitative Research," "Nonexperimental Research," "Quantitative Research," and "Historical Research" (italics added). Why not "Philosophical Research?" Maybe he, too, believes that philosophy is not research.In our Handbook Chapter2 we pointed out that research should be systematic and based on "empirical observation." To make things worse we said that research should try to provide "unbiased evidence." Ferrara ascribes to us a positivistic view that we did not make nor believe. That view, according to Ferrara is that the "key reason for their [our] dismissal of philosophical inquiry (notice inquiry not research) as a bona fide research design is the invariable criterion that they [we] assign to all research if it is indeed research: to present 'unbiased evidence.'" [End Page 89] We still believe that research should try to be as objective as possible while realizing that all observations are researcher dependent and have error. Research should strive to reduce error as much as possible.My reading of Kuhn's The Structure of Scientific Revolutions does not conflict with what was written in our Chapter. We did not claim that data are unbiased but rather that research should try to limit bias and try to interpret observations that can be supported by specific behavior.Philosophy, or more properly model building, should lead research. Assumptions that appear in a model are just that. They are assumptions. Not fact; not unbiased opinion. But these assumptions or philosophical conclusions should not be called research in music education because they do not provide any behavioral evidence as support. The deductive process used in philosophy (syllogistic reasoning, for example) should help to develop hypotheses that can be investigated by an inductive process (data collection). Philosophy is a time honored scholarly activity. We certainly do not mean to diminish its importance. All research should have a philosophical underpinning that should produce a theoretical model. This model then should be tested by research. Our Handbook Chapter takes this position. Philosophy is philosophy, not research.Ferrara paraphrases Rom Harre3 by stating thatthere are at least three realms of scientific research and theory: the first realm is marked by ordinary perception in which what is known is based on observable and empirically verifiable facts; in the second realm, perception may catch up with conception–there is a promise of technological development... through which researchers will eventually be able to 'observe' and empirically verify what they only conceived (as in philosophical inquiry) as the probable explanation; and in the third realm there are genuine theoretical acts of imagination... that will never be directly (italics added) perceived, for example, empirically observed or verified.Ferrara points out that this "positivist dictum [the Harre quote above]... is unrealistic in relation to actual (italics added) scientific research and practice."4 It is not clear to which "actual scientific research and practice" Ferrara refers. This entire view is misguided. Ferrara does not believe "the methodology of the natural sciences can appropriately be utilized in the human sciences and arts research, retaining the level of objectivity (italics added) achieved in the natural sciences." Who does Ferrara believes carries out natural science research? Are they not humans, constrained by the same problems of observation that all humans encounter? Are their observations more "objective" as Ferrara seems to believe? The natural scientist, like all other researchers, faces the issue of error in observing phenomena that all researchers face. (See the many examples of [End Page 90] this view in Jacques Barzun and Henry Graff.5 ) Neither philosophical inquiry, nor logical positivism, nor the "new realism" approach that Ferrara proposes for research is free from observational error. The role of all research is to minimize error.A quick romp through some... (shrink)

Quantum computing is of high interest because it promises to perform at least some kinds of computations much faster than classical computers. Arute et al. 2019 (informally, “the Google Quantum Team”) report the results of experiments that purport to demonstrate “quantum supremacy” – the claim that the performance of some quantum computers is better than that of classical computers on some problems. Do these results close the debate over quantum supremacy? We argue that they do not. In the following, we (...) provide an overview of the Google Quantum Team’s experiments, then identify some open questions in the quest to demonstrate quantum supremacy. (shrink)

The use of logico-semiotic and systems-structural approaches in the analysis of types of abstraction and forms of generalization of concepts was begun in the '50s and '60s by D. P. Gorskii, who at that time introduced the concept of idealization into the terminology. In the early '70s he continued his analysis of the problem of scientific understanding, delineating the specific features of definitions in the theories of natural sciences and in the social science disciplines. In the book under review, Gorskii (...) in a certain sense sums up his results and develops them further. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A Response to Lawrence Ferrara’s Chapter Four in R. Phelps, R. Sadoff, E. Warburton, and L. Ferrara, A Guide to Research in Music Education, 5th Edition (Lanham, Maryland: Scarecrow Press, Inc., 2005)Jack HellerIt is curious that Lawrence Ferrara disagrees with Jack Heller and Edward. J. P. O'Connor's view1 that "philosophy" is not "research," yet in the chapter headings in the book A Guide to Research in Music (...) Education, 5th Edition, Chapter 4 is labeled "Philosophical Inquiry," while other chapters are labeled "Qualitative Research," "Nonexperimental Research," "Quantitative Research," and "Historical Research" (italics added). Why not "Philosophical Research?" Maybe he, too, believes that philosophy is not research.In our Handbook Chapter2 we pointed out that research should be systematic and based on "empirical observation." To make things worse we said that research should try to provide "unbiased evidence." Ferrara ascribes to us a positivistic view that we did not make nor believe. That view, according to Ferrara is that the "key reason for their [our] dismissal of philosophical inquiry (notice inquiry not research) as a bona fide research design is the invariable criterion that they [we] assign to all research if it is indeed research: to present 'unbiased evidence.'" [End Page 89] We still believe that research should try to be as objective as possible while realizing that all observations are researcher dependent and have error. Research should strive to reduce error as much as possible.My reading of Kuhn's The Structure of Scientific Revolutions does not conflict with what was written in our Chapter. We did not claim that data are unbiased but rather that research should try to limit bias and try to interpret observations that can be supported by specific behavior.Philosophy, or more properly model building, should lead research. Assumptions that appear in a model are just that. They are assumptions. Not fact; not unbiased opinion. But these assumptions or philosophical conclusions should not be called research in music education because they do not provide any behavioral evidence as support. The deductive process used in philosophy (syllogistic reasoning, for example) should help to develop hypotheses that can be investigated by an inductive process (data collection). Philosophy is a time honored scholarly activity. We certainly do not mean to diminish its importance. All research should have a philosophical underpinning that should produce a theoretical model. This model then should be tested by research. Our Handbook Chapter takes this position. Philosophy is philosophy, not research.Ferrara paraphrases Rom Harre3 by stating thatthere are at least three realms of scientific research and theory: the first realm is marked by ordinary perception in which what is known is based on observable and empirically verifiable facts; in the second realm, perception may catch up with conception–there is a promise of technological development... through which researchers will eventually be able to 'observe' and empirically verify what they only conceived (as in philosophical inquiry) as the probable explanation; and in the third realm there are genuine theoretical acts of imagination... that will never be directly (italics added) perceived, for example, empirically observed or verified.Ferrara points out that this "positivist dictum [the Harre quote above]... is unrealistic in relation to actual (italics added) scientific research and practice."4 It is not clear to which "actual scientific research and practice" Ferrara refers. This entire view is misguided. Ferrara does not believe "the methodology of the natural sciences can appropriately be utilized in the human sciences and arts research, retaining the level of objectivity (italics added) achieved in the natural sciences." Who does Ferrara believes carries out natural science research? Are they not humans, constrained by the same problems of observation that all humans encounter? Are their observations more "objective" as Ferrara seems to believe? The natural scientist, like all other researchers, faces the issue of error in observing phenomena that all researchers face. (See the many examples of [End Page 90] this view in Jacques Barzun and Henry Graff.5 ) Neither philosophical inquiry, nor logical positivism, nor the "new realism" approach that Ferrara proposes for research is free from observational error. The role of all research is to minimize error.A quick romp through some... (shrink)

This paper argues that the difference between contemporary software intensive scientific practice and more traditional non-software intensive varieties results from the characteristically high conditionality of software. We explain why the path complexity of programs with high conditionality imposes limits on standard error correction techniques and why this matters. While it is possible, in general, to characterize the error distribution in inquiry that does not involve high conditionality, we cannot characterize the error distribution in inquiry that depends on software. Software intensive (...) science presents distinctive error and uncertainty modalities that pose new challenges for the epistemology of science. (shrink)

Event-related desynchronization, as a proxy for mirror neuron activity, has been used as a neurophysiological marker for motor execution after mirror visual feedback. Using EEG, this study investigated ERD upon the immediate effects of single-session MVF in unimanual arm movements compared with the ERD effects occurring without a mirror, in two groups: stroke patients with left hemiplegia and their healthy counterparts. During EEG recordings, each group performed one session of mirror therapy training in three task conditions: with a mirror, with (...) no mirror, and with a covered mirror. An asymmetry index was calculated from the subtraction of the event-related spectrum perturbations between the C3 and C4 electrodes located over the sensorimotor cortices contralateral and ipsilateral to the moved arm. Results of the effect of task versus group in contralateral and ipsilateral motor areas showed that there was a significant effect of task condition at the contralateral motor area in the high beta band at C3. High beta ERD showed that the suppression was greater over the contralateral hemisphere than it was over the ipsilateral hemisphere in both study groups. The magnitude of low beta ERD in patients with stroke was more suppressed in contralesional C3 under the no mirror compared to that of the covered mirror and similarly more suppressed in ipsilesional C4 ERD under the no mirror compared to that of the mirror condition. The correlation analysis revealed that the magnitude of ERSP power correlated significantly with arm severity in the low and high beta bands in patients with stroke, and a higher asymmetry index in the low beta band was associated with higher arm functioning under the no-mirror condition. There was a shift in sensorimotor ERD toward the contralateral hemisphere as induced by MVF accompanying unimanual movement in both stroke patients and healthy controls. The use of ERD in the low beta band as a neurophysiological marker to indicate the relationships between the amount of MVF-induced ERD attenuation and motor severity, and the outcome indicator for improving stroke patients’ neuroplasticity in clinical trials using MVF are warranted to be explored in the future. (shrink)

Software-intensive systems are ubiquitous in the industrialized world. The reliability of software has implications for how we understand scientific knowledge produced using software-intensive systems and for our understanding of the ethical and political status of technology. The reliability of a software system is largely determined by the distribution of errors and by the consequences of those errors in the usage of that system. We select a taxonomy of software error types from the literature on empirically observed software errors and compare (...) that taxonomy to Giuseppe Primiero’s Minds and Machines 24: 249–273, (2014) taxonomy of error in information systems. Because Primiero’s taxonomy is articulated in terms of a coherent, explicit model of computation and is more fine-grained than the empirical taxonomy we select, we might expect Primiero’s taxonomy to provide insights into how to reduce the frequency of software error better than the empirical taxonomy. Whether using one software error taxonomy can help to reduce the frequency of software errors better than another taxonomy is ultimately an empirical question. (shrink)

There are many tangled normative and technical questions involved in evaluating the quality of software used in epidemiological simulations. In this paper we answer some of these questions and offer practical guidance to practitioners, funders, scientific journals, and consumers of epidemiological research. The heart of our paper is a case study of the Imperial College London covid-19 simulator, set in the context of recent work in epistemology of simulation and philosophy of epidemiology.

How can we be certain that software is reliable? Is there any method that can verify the correctness of software for all cases of interest? Computer scientists and software engineers have informally assumed that there is no fully general solution to the verification problem. In this paper, we survey approaches to the problem of software verification and offer a new proof for why there can be no general solution.

This paper provides a reply to articles by Nicola Angius and Guiseppe Primiero responding to our paper “Software Intensive Science”.

The comments accompanying Proposition (Prop.) 11 (“God... necessarily exists”) in Part I of Spinoza’s The Ethics contain sketches of what appear to be at least three more or less distinct ontological arguments. The first of these is problematic even on its own terms. More is true: even the proposition “God exists” (GE), a consequence of Prop. 11, cannot be derived from the definitions and axioms of Part I (the “DAPI”) of The Ethics; thus, Prop. 11 cannot be derived from the (...) DAPI, either. To prove these claims, I use an automated deduction system (ADS) to show that Prop. 11 is independent of the DAPI. I then augment the DAPI with some auxiliary assumptions I believe Spinoza would accept and that sustain an automated derivation of (GE). The results illustrate how an ADS can facilitate the analysis of arguments and yield an apparently novel argument cast in the style of Spinoza. (shrink)

In the midst of recent ethical decision-making failures in business in the past ten or more years, businesses are beginning to prioritize the moral fiber of their new-hire business graduates. In addition to academic performance, intellectual drive, and personality match, perhaps there are other key characteristics that employers seek which speak to the importance of ethical decision makers in practice. The question remains, how can academic institutions help instill such values into their students so that ethical decision making transcends their (...) lives? This article suggests that experiential learning through an institutional-sponsored business forum can help enhance an individual’s self-efficacy and awareness of the school’s value-based education, which ultimately will lead students towards ethical decision making in practice. Five years of survey data collected at business forum events suggests that business forums are making a difference in the students’ self-assessed abilities to show greater self-efficacy, better ethical decision making, and an increased awareness of their institution’s value-based education. Specifically, data collected illustrate a mediating effect of self-efficacy and awareness of a value-based education en route to ethical decision making. Further, support is found for the primary hypothesis that attendance at business forums does result in a higher propensity to make ethical decisions. Because of these positive findings, higher education institutions looking to place a greater emphasis on the ethical leadership of their business students may want to explore adding such experiential learning programs. (shrink)

In view of scholarly work that has explored the socio-psycho significance of national performativity, the body and the “other,” this article critically analyses newspaper representations of the Canadian-born British tennis player Greg Rusedski. Drawing on Lacanian interpretations of the body, it illustrates how Rusedski’s media framing centered on a particular feature of his body—his “smile.” In doing so, we detail how Rusedski’s “post-imperial” Otherness—conceived as a form of “extimacy” (extimité)—complicated any clear delineation between “us” and “them,” positing instead a dialectical (...) understanding of the splits, voids and contradictions that underscore the national “us.”. (shrink)

Sport continues to be one of the primary means through which notions of Englishness and Britishness are constructed, contested, and resisted. The legacy of the role of sport in the colonial project of the British Empire, combined with more recent connections between sport and far right fascist/nationalist politics, has made the association between Britishness, Englishness, and ethnic identity(ies) particularly intriguing. In this paper, these intersections are explored through British media coverage of the Canadian‐born, British tennis player, Greg Rusedski. This coverage (...) is examined through the lens of ‘performativity,’ as articulated by Judith Butler. Through a critical application of Butler's ideas, the ways in which the media seek to recognise and normalise certain identities, while problematising and excluding others, can be more fully appreciated. Thus, it was within newspaper framings of Rusedski that hegemonic notions of White Englishness could be performed, maintained, and embedded. (shrink)

What is the relation between words and action? How does a person decide, based on what someone is saying, what would be an appropriate response? We argue that every move combines independent semiotic features, to be interpreted under an assumption that social behavior is goal directed; responding to actions is not equivalent to describing them; and describing actions invokes rights and duties for which people are explicitly accountable. We conclude that interaction does not involve a ‘binning’ procedure in which the (...) stream of conduct is sorted into discrete action types. Our argument is grounded in data from recordings of talk-in-interaction. (shrink)

This book is a collection of papers on the metaphysics and natural philosophy of John Buridan (ca. 1295-1361), one of the most innovative and influential ...

In this study, we present data on graduate students' actual experiences in dealing with impaired peers and faculty predictions of how students would deal with such situations. A total of 29 faculty and 73 graduate students responded to a survey of 40 randomly selected clinical psychology training programs. Student respondents were almost universally (95%) aware of peers whom they regarded as impaired in their professional functioning, and half (49%) the sample reported being aware of a peer's ethical impropriety. Faculty overestimated (...) the number of students who said they "did nothing" when confronted with the resulting ethical dilemma and underestimated the degree of conflict and turmoil (i.e., anger, frustration, dismay) that students reported experiencing. Faculty also estimated that students would be more concerned with peer loyalty issues, whereas students indicated that they were strongly motivated by ethical considerations. Ethics curricula ought more thoroughly to address affective concerns through experiential learning vehicles such as faculty modeling, simulation exercises, and small-group discussion. (shrink)